Devriese, Dominique : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (36)
Les plus populaires
Liste
- Liste
- Tableau

1

Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory

COCKX, JESPER, DEVRIESE, DOMINIQUE

Journal:

Journal of Functional Programming

Année:

2018

Langue:

english

Fichier:

PDF, 1.47 MB

english, 2018

2

Typed syntactic meta-programming

Devriese, Dominique, Piessens, Frank

Journal:

ACM SIGPLAN Notices

Année:

2013

Langue:

english

Fichier:

PDF, 615 KB

english, 2013

3

[IEEE 2011 5th International Conference on Network and System Security (NSS) - Milan, Italy (2011.09.6-2011.09.8)] 2011 5th International Conference on Network and System Security - Reactive non-interference for a browser model

Bielova, Nataliia, Devriese, Dominique, Massacci, Fabio, Piessens, Frank

Année:

2011

Langue:

english

Fichier:

PDF, 562 KB

english, 2011

4

[ACM Press Conference Companion of the 2nd International Conference - Nice, France (2018.04.09-2018.04.12)] Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion - Scalagna 0.1: towards multi-tier programming with Scala and Scala.js

Reynders, Bob, Greefs, Michael, Devriese, Dominique, Piessens, Frank

Année:

2018

Langue:

english

Fichier:

PDF, 543 KB

english, 2018

5

[ACM Press the 11th ACM SIGPLAN International Symposium - St. Louis, MO, USA (2018.09.27-2018.09.28)] Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018 - Coherent explicit dictionary application for Haskell

Winant, Thomas, Devriese, Dominique

Année:

2018

Langue:

english

Fichier:

PDF, 803 KB

english, 2018

6

[ACM Press the 12th ACM SIGPLAN International Symposium - Berlin, Germany (2019.08.22-2019.08.23)] Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 - Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study

Devriese, Dominique

Année:

2019

Langue:

english

Fichier:

PDF, 639 KB

english, 2019

7

Leibniz equality is isomorphic to Martin-LÃ¶f identity, parametrically

ABEL, ANDREAS, COCKX, JESPER, DEVRIESE, DOMINIQUE, TIMANY, AMIN, WADLER, PHILIP

Journal:

Journal of Functional Programming

Année:

2020

Fichier:

PDF, 195 KB

2020

8

Phenotypic identification and differentiation of Lactococcus strains isolated from animals

Bruno Pot, Luc A. Devriese, Dominiques Ursi, Peter Vandamme, Freddy Haesebrouck, Karel Kersters

Journal:

Systematic and Applied Microbiology

Année:

1996

Langue:

english

Fichier:

PDF, 1.27 MB

english, 1996

9

[ACM Press the 2012 ACM conference - Raleigh, North Carolina, USA (2012.10.16-2012.10.18)] Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12 - FlowFox

De Groef, Willem, Devriese, Dominique, Nikiforakis, Nick, Piessens, Frank

Année:

2012

Langue:

english

Fichier:

PDF, 616 KB

english, 2012

10

[IEEE 2012 International Conference on Privacy, Security, Risk and Trust (PASSAT) - Amsterdam, Netherlands (2012.09.3-2012.09.5)] 2012 International Conference on Privacy, Security, Risk and Trust and 2012 International Confernece on Social Computing - PESAP: A Privacy Enhanced Social Application Platform

Reynaert, Tom, De Groef, Willem, Devriese, Dominique, Desmet, Lieven, Piessens, Frank

Année:

2012

Langue:

english

Fichier:

PDF, 441 KB

english, 2012

11

[IEEE 2010 IEEE Symposium on Security and Privacy - Oakland, CA, USA (2010.05.16-2010.05.19)] 2010 IEEE Symposium on Security and Privacy - Noninterference through Secure Multi-execution

Devriese, Dominique, Piessens, Frank

Année:

2010

Langue:

english

Fichier:

PDF, 278 KB

english, 2010

12

Cardioverter‐Lead Electrode Infection Due to Corynebacterium amycolatum

Vaneechoutte, Mario, De Bleser, Dominique, Claeys, Geert, Verschraegen, Gerda, De Baere, Thierry, Hommez, Jozef, Devriese, Luc A., Riegel, Philippe

Journal:

Clinical Infectious Diseases

Année:

1998

Langue:

english

Fichier:

PDF, 219 KB

english, 1998

13

[ACM Press the 2014 ACM International Symposium - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software - Onward! '14 - Multi-Tier Functional Reactive Programming for the Web

Reynders, Bob, Devriese, Dominique, Piessens, Frank

Année:

2014

Langue:

english

Fichier:

PDF, 870 KB

english, 2014

14

Finally tagless observable recursion for an abstract grammar model

DEVRIESE, DOMINIQUE, PIESSENS, FRANK

Journal:

Journal of Functional Programming

Année:

2012

Langue:

english

Fichier:

PDF, 436 KB

english, 2012

15

[ACM Press the ACM SIGPLAN 2013 workshop - Rome, Italy (2013.01.21-2013.01.21)] Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13 - Fixing idioms

Devriese, Dominique, Sergey, Ilya, Clarke, Dave, Piessens, Frank

Année:

2013

Langue:

english

Fichier:

PDF, 656 KB

english, 2013

16

[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Pattern matching without K

Cockx, Jesper, Devriese, Dominique, Piessens, Frank

Année:

2014

Langue:

english

Fichier:

PDF, 701 KB

english, 2014

17

[ACM Press the 7th ACM SIGPLAN workshop - Austin, Texas, USA (2011.01.25-2011.01.25)] Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '11 - Information flow enforcement in monadic libraries

Devriese, Dominique, Piessens, Frank

Année:

2011

Langue:

english

Fichier:

PDF, 598 KB

english, 2011

18

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - On the bright side of type classes

Devriese, Dominique, Piessens, Frank

Année:

2011

Langue:

english

Fichier:

PDF, 532 KB

english, 2011

19

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Typed syntactic meta-programming

Devriese, Dominique, Piessens, Frank

Année:

2013

Langue:

english

Fichier:

PDF, 615 KB

english, 2013

20

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Monadic abstract interpreters

Sergey, Ilya, Devriese, Dominique, Might, Matthew, Midtgaard, Jan, Darais, David, Clarke, Dave, Piessens, Frank

Année:

2013

Langue:

english

Fichier:

PDF, 528 KB

english, 2013

21

[Society of Exploration Geophysicists SEG Technical Program Expanded Abstracts 2014 - Denver, Colorado (26 October to 31 October)] SEG Technical Program Expanded Abstracts 2014 - Multi-EM systems inversion - Towards a common conductivity model for the Tli Kwi Cho complex

Fournier*, Dominique, Heagy, Lindsey, Corcoran, Nate, Cowan, Devin, Devriese, Sarah G. R., Bild-Enkin, Daniel, Davis, Kristofer, Kang, Seogi, Marchant, Dave, McMillan, Michael S., Mitchell, Michael, R

Langue:

english

Fichier:

PDF, 2.71 MB

english

22

[ACM Press the 2015 ACM SIGPLAN International Conference - Pittsburgh, PA, USA (2015.10.26-2015.10.27)] Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2015 - Generating safe boundary APIs between typed EDSLs and their environments

Reynders, Bob, Devriese, Dominique, Piessens, Frank

Année:

2015

Langue:

english

Fichier:

PDF, 293 KB

english, 2015

23

[IEEE 2016 IEEE European Symposium on Security and Privacy (EuroS&P) - Saarbrucken, Germany (2016.3.21-2016.3.24)] 2016 IEEE European Symposium on Security and Privacy (EuroS&P) - Reasoning about Object Capabilities with Logical Relations and Effect Parametricity

Devriese, Dominique, Birkedal, Lars, Piessens, Frank

Année:

2016

Langue:

english

Fichier:

PDF, 381 KB

english, 2016

24

On the bright side of type classes

Devriese, Dominique, Piessens, Frank

Journal:

ACM SIGPLAN Notices

Année:

2011

Langue:

english

Fichier:

PDF, 532 KB

english, 2011

25

Cardioverter-Lead Electrode Infection Due to Corynebacterium amycolatum

Mario Vaneechoutte, Dominique De Bleser, Geert Claeys, Gerda Verschraegen, Thierry De Baere, Jozef Hommez, Luc A. Devriese and Philippe Riegel

Journal:

Clinical Infectious Diseases

Année:

1998

Langue:

english

Fichier:

PDF, 304 KB

english, 1998

26

[IEEE 2016 IEEE Cybersecurity Development (SecDev) - Boston, MA, USA (2016.11.3-2016.11.4)] 2016 IEEE Cybersecurity Development (SecDev) - Security Guarantees for the Execution Infrastructure of Software Applications

Piessens, Frank, Devriese, Dominique, Muhlberg, Jan Tobias, Strackx, Raoul

Année:

2016

Langue:

english

Fichier:

PDF, 161 KB

english, 2016

27

[Society of Exploration Geophysicists SEG Technical Program Expanded Abstracts 2014 - Denver, Colorado (26 October to 31 October)] SEG Technical Program Expanded Abstracts 2014 - Magnetic inversion of three airborne data sets over the Tli Kwi Cho kimberlite complex

Devriese*, Sarah G. R., Corcoran, Nate, Cowan, Devin, Davis, Kristofer, Bild-Enkin, Daniel, Fournier, Dominique, Heagy, Lindsey, Kang, Seogi, Marchant, Dave, McMillan, Michael S., Mitchell, Michael, R

Langue:

english

Fichier:

PDF, 1.71 MB

english

28

[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - Lifting proof-relevant unification to higher dimensions

Cockx, Jesper, Devriese, Dominique

Année:

2017

Langue:

english

Fichier:

PDF, 204 KB

english, 2017

29

[IEEE 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - Lisbon, Portugal (2016.6.27-2016.7.1)] 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - On Modular and Fully-Abstract Compilation

Patrignani, Marco, Devriese, Dominique, Piessens, Frank

Année:

2016

Langue:

english

Fichier:

PDF, 478 KB

english, 2016

30

Potential field signatures along the Zagros collision zone in Iran

Abedi, Maysam, Fournier, Dominique, Devriese, Sarah, Oldenburg, Douglas W.

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 5.69 MB

english, 2017

31

Eliminating dependent pattern matching without K

COCKX, JESPER, DEVRIESE, DOMINIQUE, PIESSENS, FRANK

Journal:

Journal of Functional Programming

Année:

2016

Langue:

english

Fichier:

PDF, 883 KB

english, 2016

32

[ACM Press the 19th International Symposium - Namur, Belgium (2017.10.09-2017.10.11)] Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 - Expressive and strongly type-safe code generation

Winant, Thomas, Cockx, Jesper, Devriese, Dominique

Année:

2017

Langue:

english

Fichier:

PDF, 897 KB

english, 2017

33

Integrated inversion of airborne geophysics over a structural geological unit: A case study for delineation of a porphyry copper zone in Iran

Abedi, Maysam, Fournier, Dominique, Devriese, Sarah G.R., Oldenburg, Douglas W.

Journal:

Journal of Applied Geophysics

Année:

2018

Langue:

english

Fichier:

PDF, 4.82 MB

english, 2018

34

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Degrees of Relatedness

Nuyts, Andreas, Devriese, Dominique

Année:

2018

Langue:

english

Fichier:

PDF, 918 KB

english, 2018

35

Parametric quantifiers for dependent type theory

Nuyts, Andreas, Vezzosi, Andrea, Devriese, Dominique

Journal:

Proceedings of the ACM on Programming Languages

Année:

2017

Langue:

english

Fichier:

PDF, 468 KB

english, 2017

36

Linear capabilities for fully abstract compilation of separation-logic-verified code

Van Strydonck, Thomas, Piessens, Frank, Devriese, Dominique

Journal:

Proceedings of the ACM on Programming Languages

Année:

2019

Langue:

english

Fichier:

PDF, 464 KB

english, 2019